PET

Benchmark
Model:egl v.1 (DTMC)
Parameter(s)N = 10, L = 8
Property:unfairA (prob-reach)
Invocation (default)
./pet.sh reachability --precision 0.000001 --relative-error --only-result -m egl.prism -p egl.props --property unfairA --const N=10,L=8
Execution
Walltime:473.0859251022339s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space: failed reallocation of scalar replaced objects